// 音乐图标旋转动画
var music = document.getElementById('music')    // 获取音乐
var musicPattern = document.getElementById('musicPattern')   // 获取音乐图标
var tem = true  // 设置一个变量，用来控制音乐是否在播放。

// 当用户点击时，实现音乐暂停与播放
function musics() {
    if (tem === false) {
        music.play()  // 播放音乐
        tem = true
        document.getElementById('musicPattern').style.animationPlayState = 'running'  // 旋转音乐图标
    } else {
        music.pause()  // 暂停音乐
        tem = false
        document.getElementById('musicPattern').style.animationPlayState = 'paused'  // 暂停音乐图标
    }
}